プログラミング言語 Unison を知る

どうやって Unison を見つけたか

https://www.youtube.com/watch?v=vhIQZ0px-Lc

https://gyazo.com/d0e5e023526806b14063ac16104a29bf

なので、とりあえず学んでみる

特徴

code:u(hs)

double : Nat -> Nat

double x =

x * 2

code:u(hs)

use List ++ +: :+

head :+ 5

code:u(hs)

helloWorld : '{IO, Exception} () -- この ' が遅延評価を表す

helloWorld = do printLine "Hello World"

code:u(hs)

Text.filter isDigit "abc_10203_def" |> Text.split ?0

code:u(hs)

Pattern.run (Pattern.capture (Pattern.many (chars "🍎🍏"))) "🍏🍎🍎🍏123"

code:u(hs)

Nat.range 0 10

|> List.map (x -> x Nat.* 100)

|> List.filter (const true)

|> List.foldLeft (Nat.+) 0

code:u(hs)

Optional.filter Nat.isEven <| Some 5

純粋関数型なので、依存している実装が変更されてない限りはテストがキャッシュされる

code:u(hs)

increment : Nat -> Nat

increment x = x + 1

以下のように管理される

code:u(hs)

もちろん Git / GitHub は使えないので ucm が代替する（後述）

サンプルコード

if / else

code:u(hs)

isEven num =

if mod num 2 === 0 then "even" else "odd"

code:u(hs)

isEven num = match num with

n | mod n 2 === 0 -> "even"

_ -> "odd"

code:u(hs)

isEven = cases

n | mod n 2 === 0 -> "even"

_ -> "odd"

code:u(hs)

match Some 12 with

Optional.None -> "none"

-- ガードパターン

Some n| Nat.isEven n -> "n is a variable and | is a pattern guard"

-- as パターン

opt@(Some n) -> "opt binds to the entire optional value"

型宣言

code:u(hs)

type LivingThings

= Animal | Plant | Fungi | Protists | Monera

code:u(hs)

type Pet = {

age : Nat,

species : Text,

}

例外処理

code:u(hs)

nonZero : Nat ->{Exception} Nat

nonZero =

use Nat ==

cases

n

| n == 0 -> Exception.raise (Generic.failure "Zero was found" n)

| otherwise -> n

code:u(hs)

catch do nonZero 0

code:u(hs)

getRandomElem list =

use unison_base_4_8_0.abilities.Random natIn

randomIndex = natIn 0 (List.size list)

List.at! randomIndex list

code:u(hs)

toOptional!: '{g Abort} a -> {g} Optional a

splitmix : Nat ->'{g, Random} t -> {g} t

Ability の定義

code:u(hs)

structural ability Abort where

abort : {Abort} a

code:u(hs)

structural ability Exception where

raise : Failure ->{Exception} x

code:u(hs)

exampleGet : '{IO, Exception, Threads} HttpResponse

exampleGet _ =

use unison_base_4_8_0.IO.net.URI parse

req = do Http.get uri

Http.run req

code:u(hs)

printResponse : '{IO, Exception} ()

printResponse =

use unison_base_4_8_0.abilities Random.run

use systemfw_concurrent_7_2_1 Threads.run

do

Random.run do

Threads.run do

response = exampleGet ()

printLine (bodyText response)

ucm

Unison への Push 操作などもすべて ucm で行う

ucm コマンド例

プロジェクト関連

コードベース関連

ブランチ関連

実行関連

テスト関連

とりあえず動かしてみよう

所感

新しいプログラミング言語の可能性を見れた

ハッシュ管理がベストな解決策なのかは分からないが

Q&A

デプロイはどうするの？

学べる教材はあるの？

Web アプリケーションを開発してみたい場合は Unison Cloud のチュートリアルがあります

どのように開発を進めたら良いの？

公式ドキュメントの以下のページが参考になります

参考